CONCUR ’ 95 , Int . Conference on Concurrency Theory , LNCS
نویسندگان
چکیده
We present a xpoint-analysis machine, for the eecient computation of homogeneous, hierarchical, and alternating xpoints over regular , context-free/push-down and macro models. Applications of such x-point computations include intra-and interprocedural data ow analysis , model checking for various temporal logics, and the veriication of behavioural relations between distributed systems. The xpoint-analysis machine identiies an adequate (parameterized) level for a uniform treatment of all those problems, which, despite its uniformity, outperforms thèstandard iteration based' special purpose tools usually by factors around 10, even if the additional compilation time is taken into account.
منابع مشابه
CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the concur 2011 concurrency theory 22nd international conference concur 2011 aache...
متن کاملCONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless. Reading, for some people become a need that is to do every day such as spending time for eating. Now, what about you? Do you like to read a book? Now, we will show you a new book enPDFd concur 2007 concurrency theory 18th international conference concur 2007 lisbon portu...
متن کاملCONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
In what case do you like reading so much? What about the type of the concur 2009 concurrency theory 20th international conference concur 2009 bologna italy september 1 4 2009 proceedings lecture notes in computer science book? The needs to read? Well, everybody has their own reason why should read some books. Mostly, it will relate to their necessity to get knowledge from the book and want to r...
متن کامل– A quarter of a century of CONCUR – R eport on the 2014 and 2015 editions of the
The international Conference on Concurrency Theory (CONCUR), which was launched in 1990 by the eponymous ESPRIT BRA project, reached an important milestone in 2015: its quarter of a century. The event was celebrated twice: first during the 25th edition of the conference, held in Rome in September 2014, and then during its 26th edition, held in Madrid in September 2015, which actually marked CON...
متن کاملDecoding Choice Encodings
We study two encodings of the asynchronous π-calculus with input-guarded choice into its choice-free fragment. One encoding is divergence-free, but refines the atomic commitment of choice into gradual commitment. The other preserves atomicity, but introduces divergence. The divergent encoding is fully abstract with respect to weak bisimulation, but the more natural divergence-free encoding is n...
متن کامل